Quotient Types
ここ
で見た
型で入力のサイズを制限する
https://en.wikipedia.org/wiki/Quotient_type
https://www.hedonisticlearning.com/posts/quotient-types-for-programmers.html
https://www.youtube.com/watch?v=ljpE7NOb2Qg&list=PLBqWQH1MiwBSK9wuaATNS701c43VYVTuc&index=27
https://stackoverflow.com/questions/23596225/how-can-quotient-types-help-safely-expose-module-internals/39765173#39765173
篩型